Abstract machine

Results: 823



#Item
271Operator theory / Matrix theory / Hilbert space / Abstract algebra / Singular value decomposition / Positive-definite kernel / Projection / Matrix / Eigenvalues and eigenvectors / Algebra / Mathematics / Linear algebra

Kernel Extrapolation S.V.N. Vishwanathan a Karsten M. Borgwardt b,∗ Omri Guttman a Alex Smola a a Statistical Machine Learning Program, National ICT Australia,

Add to Reading List

Source URL: www.stat.purdue.edu

Language: English - Date: 2008-09-11 13:00:23
272Trusted computing / Trusted Platform Module / Trusted Computing Group / Trusted Execution Technology / Xen / Ring / Paravirtualization / Virtual machine / Rootkit / System software / Computer security / Software

TOCTOU, Traps, and Trusted Computing Sergey Bratus, Nihal D’Cunha, Evan Sparks, and Sean W. Smith Dartmouth College, Hanover, New Hampshire Abstract. The security of the standard TCG architecture depends on whether th

Add to Reading List

Source URL: www.cs.dartmouth.edu

Language: English - Date: 2009-11-12 16:20:18
273Knowledge / Turing Award laureates / Computational neuroscience / Open problems / Ray Solomonoff / John McCarthy / Neats vs. scruffies / Marvin Minsky / Ai / Science / Artificial intelligence / Philosophy of artificial intelligence

Martin Luther King and the “Ghost in the Machine” Will Fitzgerald Kalamazoo College Abstract The U.S. Civil Rights movement and the field of Artificial Intelligence (AI) research had

Add to Reading List

Source URL: www.entish.org

Language: English - Date: 1969-12-31 19:00:00
274Critical thinking / Arguments / Logic / Argumentation theory / NP-complete / Boolean satisfiability problem / NP-hard / Oracle machine / Algorithm / Theoretical computer science / Applied mathematics / Complexity classes

Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology

Add to Reading List

Source URL: www.inf.kcl.ac.uk

Language: English - Date: 2013-06-09 11:47:58
275Cross-platform software / Java virtual machine / Android / Dalvik / Embedded Linux / Smartphones / Bytecode / Java bytecode / Java / Computing / Software / System software

Formalisation and Analysis of Dalvik BytecodeI Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, Ren´e Rydhof Hansen Department of Computer Science, Aalborg University, Denmark Abstract

Add to Reading List

Source URL: people.cs.aau.dk

Language: English - Date: 2013-12-06 08:31:46
276Learning / Mixture model / Pose / Unsupervised learning / Pattern recognition / Neural network / Boltzmann machine / Regularization / Machine learning / Artificial intelligence / Statistics

Multi-source Deep Learning for Human Pose Estimation Wanli Ouyang Xiao Chu Xiaogang Wang Department of Electronic Engineering, The Chinese University of Hong Kong , Abstract

Add to Reading List

Source URL: www.ee.cuhk.edu.hk

Language: English - Date: 2014-06-20 01:45:24
277Computational statistics / Support vector machine / Thresholding / Algorithm / Multi-label classification / Classifier chains / Statistics / Machine learning / Statistical classification

A Study on Threshold Selection for Multi-label Classification Rong-En Fan and Chih-Jen Lin∗ Abstract Multi-label classification is useful for text categorization, multimedia retrieval,

Add to Reading List

Source URL: www.csie.ntu.edu.tw

Language: English - Date: 2007-11-12 07:35:07
278Subroutines / Programming language implementation / Compiler optimizations / Inline expansion / Compiler construction / Java bytecode / Pin / Tail call / Java virtual machine / Software engineering / Computer programming / Computing

ICode inlining c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia February 20th , 2012 Abstract

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2012-02-19 15:59:22
279Cognition / Consciousness / Semantic memory / Neural correlate / Cognitive science / Mind / Philosophy of mind

Constructing a Physiologically Realistic Machine Model of Consciousness L. Andrew Coward Department of Computer Science Australian National University Abstract

Add to Reading List

Source URL: cs.anu.edu.au

Language: English - Date: 2009-05-12 02:38:55
280Statistical classification / Abstract algebra / Linear algebra / Support vector machines / Polynomial / Kernel trick / Vector space / Least squares support vector machine / Algebra / Statistics / Mathematics

Journal of Machine Learning Research1490 Submitted 8/09; Revised 1/10; Published 4/10 Training and Testing Low-degree Polynomial Data Mappings via Linear SVM

Add to Reading List

Source URL: www.csie.ntu.edu.tw

Language: English - Date: 2010-08-15 03:30:50
UPDATE